$x$ = $y$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$dseq($d$;$a$)($x$,$y$)